Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
11	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
12	Microsoft Word - K Math Standards 08.doc Add to Reading List Source URL: www.ped.state.nm.us Language: English - Date: 2016-06-25 18:47:45 Knowledge Formal sciences Academia Computing Mathematical proof Probability Mathematics education Benchmark Mathematics Mathematical analysis Statistics Geometry
13	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
14	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
15	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
16	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
17	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
18	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
19	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
20	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof